rotate_east

function rotate_east(default_location: location): location